1. Automata
پدیدآورنده : Hopkin, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
2. Automata and computability /
پدیدآورنده : Dexter C. Kozen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
3. Automata, computability and complexity :
پدیدآورنده : Elaine Rich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
4. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
5. Computability and Decidability :
پدیدآورنده : by Jacques Loeckx.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
6. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
7. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
8. Theory of Computation
پدیدآورنده : / George Tourlakis
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
